Adding new arrows:
You can add more `canned' arrows of this kind with commands
|
| |"|
arrow
|"| ||
expansion
||
which makes |"|
arrow
|"| behave as
expansion
in math mode.